翻訳と辞書 Words near each other ・ Jónas Hallgrímsson ・ Jónas Jónsson ・ Jónas Kristjánsson ・ Jónas Sen ・ Jónas Sigurðsson ・ Jónas Tór Næs ・ Jónasson ・ Jónhard Frederiksberg ・ Jónsdóttir ・ Jónsi ・ Jónsi & Alex ・ Jónsmessa ・ Jónsson ・ Jónsson cardinal ・ Jónsson function ・ Jónsson–Tarski algebra ・ Jónína Bjartmarz ・ Jónína Leósdóttir ・ Jónína Rós Guðmundsdóttir ・ Jórunn skáldmær ・ Jórunn Viðar ・ Jósika Castle ・ Jóska Sobri ・ Jósvafő ・ Jószef Svidró ・ Jóvenes Clásicos del Son ・ Jóvito Villalba ・ Józef Abelewicz ・ Józef Achilles Puchała ・ Józef Adam Lasocki Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Jónsson–Tarski algebra ： ウィキペディア英語版 Jónsson–Tarski algebra In mathematics, a Jónsson–Tarski algebra or Cantor algebra is an algebraic structure encoding a bijection from an infinite set ''X'' onto the product ''X''×''X''. They were introduced by . , named them after Georg Cantor because of Cantor's pairing function and Cantor's theorem that an infinite set ''X'' has the same number of elements as ''X''×''X''; the term "Cantor algebra" is also occasionally used to mean the Boolean algebra of all clopen subsets of the Cantor set, or the Boolean algebra of Borel subsets of the reals modulo meager sets (sometimes called the Cohen algebra). The group of order preserving automorphisms of the free Jónsson–Tarski algebra on one generator is the Thompson group ''F''. ==Definition== A Jónsson–Tarski algebra of type 2 is a set ''A'' with a product ''w'' from ''A''×''A'' to ''A'' and two "projection" maps ''p''1 and ''p''2 from ''A'' to ''A'', satisfying ''p''1(''w''(''a''1,''a''2)) = ''a''1, ''p''2(''w''(''a''1,''a''2)) = ''a''2, and ''w''(''p''1(''a''),''p''2(''a'')) = ''a''. The definition for type > 2 is similar but with ''n'' projection operators. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Jónsson–Tarski algebra」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.